Exception Handling
نویسنده
چکیده
The rst part of this paper provides rigorous deenitions for several basic concepts underlying the design of dependable programs, such as speciication, program semantics, exception, program correctness, robustness, failure, fault, and error. The second part investigates what it means to handle exceptions in modular programs structured as hierarchies of data abstractions. The problems to be solved at each abstraction level, such as exception detection and propagation, consistent state recovery and masking are examined in detail. Both programmed exception handling and default exception handling (such as embodied for example in recovery blocks or database transactions) are considered. An assessment of the adequacy of backward recovery in providing tolerance of software design faults is made.
منابع مشابه
Exception Handling in Workflow Systems1
In this paper, defeasible workflow is proposed as a framework to support exception handling for workflow management. By using the “justified” ECA rules to capture more contexts in workflow modeling, defeasible workflow uses context dependent reasoning to enhance the exception handling capability of workflow management systems. In particular, this limits possible alternative exception handler ca...
متن کاملException Handling in CSCW Applications in Pervasive Computing Environments
In this paper we present conceptual foundations of an exception handling model for context-aware CSCW applications. Human participation in the recovery actions is an integral part of this model. Role abstraction is provided with an exception interface through which the role members can perform exception handling actions. Exception handling involving multiple role members is also supported throu...
متن کاملA Flexible Approach to Exception Handling in Open Multi- agent Systems
Exception handling in multi-agent systems (MAS) is a complex issue due to distributed and decentralized nature of data and control in such systems. Autonomous agents representing different organizations need to implement a set of behaviors in addition to their problem solving behaviors in order to facilitate the coordinated exception handling processes across organizational boundaries. In this ...
متن کاملModular Exception Handling in Context-Aware Applications
Exception handling systems are designed to promote enhanced program modularization in the presence of faults, by supporting a well-defined lexical separation of normal and abnormal code. However, mobile applications seem to require specialized exception handling mechanisms due to their features of contextawareness and asynchronous communication. Hence this research investigates the impact of su...
متن کاملImproving Program Correctness with Atomic Exception Handling
Exception handling is a powerful mechanisms for dealing with failures at runtime. It simplifies the development of robust programs by allowing the programmer to implement recovery actions and tolerate non-fatal errors. Yet, exception handling is difficult to get right! The complexity of correct exception handling is a major cause for incorrect exception handling. It is therefore important to re...
متن کاملExceptional C or C with Exceptions
C does not have exception handling facilities. Errors are handled by examining the value returned by each function and signals (conditions reported to the program) are handled by using library functions. These approaches lead to ad hoc error-handling techniques and can make programs hard to understand. Exceptional C, a superset of C, provides exception handling facilities. Exceptional C integra...
متن کامل